#define _CRT_SECURE_NO_WARNINGS 1
// https://www.nowcoder.com/share/jump/9466535261695974220139
//#include <stdio.h>
//void SixBase(int n)
//{
//    int quotient = n / 6;
//    int remainder = n % 6;
//    if (quotient != 0)
//    {
//        SixBase(quotient);
//    }
//    printf("%d", remainder);
//}
//int main()
//{
//    int n;
//    scanf("%d", &n);
//    SixBase(n);
//    return 0;
//}

// https://www.nowcoder.com/share/jump/9466535261695974559975
//#include <stdio.h>
//int main()
//{
//    long long n = 0;
//    scanf("%lld", &n);
//    printf("%lld", ((1 + n) * n) / 2);
//    return 0;
//}

// https://www.nowcoder.com/share/jump/9466535261695977309921
/*
#include <stdio.h>
int main() {
    int hour;
    int minute;
    int k;
    scanf("%d:%d %d", &hour, &minute, &k);

    k += minute;
    minute = 0;

    if (k > 60)
    {
        hour += (k / 60);
        k %= 60;
    }
    if (hour > 23)
    {
        hour %= 24;
    }

    minute += k;
    printf("%#02d:%#02d", hour, minute);
    return 0;
}
*/

// https://www.nowcoder.com/share/jump/9466535261695977333810
//#include <stdio.h>
//int main() 
//{
//	int n;
//	scanf("%d", &n);
//
//	int waitingMinutes = 2;
//	if (n >= 12)
//	{
//		waitingMinutes += (4 * (n / 12));
//		n /= 12;
//	}
//
//	printf("%d", waitingMinutes);
//	return 0;
//}

// https://www.nowcoder.com/share/jump/9466535261695979374574
//#include <stdio.h>
//int main() {
//    long long n;
//    long long m;
//    while (scanf("%lld %lld", &n, &m) != -1)
//    {
//        long long max = n > m ? n : m;
//        long long min = n < m ? n : m;
//        // Least common multiple
//        // int i = 1;
//        // while ((i * max) % min != 0)
//        // {
//        //     i++;
//        // }
//        // long long lcm = i * max;
//
//        // Greatest common divisor
//        long long tmp;
//        while (tmp = max % min)
//        {
//            max = min;
//            min = tmp;
//        }
//        long long gcd = min;
//
//        // Least common multiple
//        long long lcm = (n * m) / gcd;
//
//        printf("%lld\n", lcm + gcd);
//    }
//    return 0;
//}

// 116